Implicitly-threaded parallelism in Manticore
نویسندگان
چکیده
منابع مشابه
Programming in Manticore, a Heterogenous Parallel Functional Language
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous language that supports parallelism at multiple levels. Specifically, the Manticore language combines Concurrent ML-style explicit concurrency with fine-grain, implicitly threaded, parallel constructs. These lectures w...
متن کاملArity Raising in Manticore
Compilers for polymorphic languages are required to treat values in programs in an abstract and generic way at the source level. The challenges of optimizing the boxing of raw values, flattening of argument tuples, and raising the arity of functions that handle complex structures to reduce memory usage are old ones, but take on newfound import with processors that have twice as many registers. ...
متن کاملFine - grain Parallelism with Minimal Hardware Support : A Compiler - Controlled Threaded
In this paper, we present a relatively primitive execution model for ne-grain par-allelism, in which all synchronization, scheduling, and storage management is explicit and under compiler control. This is deened by a threaded abstract machine (TAM) with a multilevel scheduling hierarchy. Considerable temporal locality of logically related threads is demonstrated, providing an avenue for eeectiv...
متن کاملExperiments with List Ranking for Explicit Multi-threaded (xmt) Instruction Parallelism (extended Abstract) ?
Algorithms for the problem of list ranking are empirically studied with respect to the Explicit Multi-Threaded (XMT) platform for instruction-level parallelism (ILP). The main goal of this study is to understand the diierences between XMT and more traditional parallel computing implementation platforms/models as they pertain to the well studied list ranking problem. The main two ndings are: (i)...
متن کاملManTiCore: Encryption with Joint Cipher-State Authentication
We describe a new method for authenticated encryption, which uses information from the internal state of the cipher to provide the authentication. This methodology has a number of benefits. The encryption has properties similar to CBC mode, yet the encipherment and authentication mechanisms can be parallelized and/or pipelined. The authentication overhead is minimal, so the computational cost o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2008
ISSN: 0362-1340,1558-1160
DOI: 10.1145/1411203.1411224